[tail] [up]

2.2.1 Integrals 1 to 83

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 138 0 0 209 0 0 -1

N.S.

1 1.00 1.33 0.00 0.00 2.01 0.00 0.00 -0.01

time (sec)

N/A 0.100 0.068 0.921 0.000 0.474 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.013 8.175 0.800 0.000 0.000 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 108 0 0 144 0 0 -1

N.S.

1 1.00 1.59 0.00 0.00 2.12 0.00 0.00 -0.01

time (sec)

N/A 0.057 0.098 0.755 0.000 0.400 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.013 6.658 0.753 0.000 0.000 0.000 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 57 30 25 55 0 49 47

N.S.

1 1.00 2.19 1.15 0.96 2.12 0.00 1.88 1.81

time (sec)

N/A 0.019 0.028 0.635 0.260 0.383 0.000 0.411 0.116

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

22 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.013 6.052 0.887 0.000 0.000 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.015 7.011 0.911 0.000 0.000 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 269 0 271 1031 0 0 -1

N.S.

1 1.00 1.37 0.00 1.38 5.26 0.00 0.00 -0.01

time (sec)

N/A 0.272 4.193 1.395 0.437 0.428 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 21.245 1.382 0.000 0.000 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

108 108 260 0 0 683 0 0 -1

N.S.

1 1.00 2.41 0.00 0.00 6.32 0.00 0.00 -0.01

time (sec)

N/A 0.119 2.903 1.378 0.000 0.523 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.020 19.543 1.385 0.000 0.000 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 69 68 49 271 0 75 81

N.S.

1 1.00 1.53 1.51 1.09 6.02 0.00 1.67 1.80

time (sec)

N/A 0.042 0.191 2.198 0.263 0.380 0.000 0.394 1.624

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 41.144 1.560 0.000 0.000 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.016 27.290 1.543 0.000 0.000 0.000 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 147 129 205 2590 0 158 399

N.S.

1 1.00 1.63 1.43 2.28 28.78 0.00 1.76 4.43

time (sec)

N/A 0.073 0.065 1.143 0.299 0.415 0.000 0.399 0.129

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 256 0 0 686 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 2.11 0.00 0.00 -0.00

time (sec)

N/A 0.576 0.136 1.272 0.000 0.470 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 5.962 1.285 0.000 0.000 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 1166 0 0 505 0 0 -1

N.S.

1 1.00 5.18 0.00 0.00 2.24 0.00 0.00 -0.00

time (sec)

N/A 0.350 2.171 1.280 0.000 0.402 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 5.345 1.283 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 71 89 92 213 0 92 175

N.S.

1 1.00 1.18 1.48 1.53 3.55 0.00 1.53 2.92

time (sec)

N/A 0.070 0.097 1.836 0.496 0.369 0.000 0.412 2.040

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 3.239 1.290 0.000 0.000 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.013 0.159 0.094 0.000 0.000 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

922 922 1502 0 0 3756 0 0 -1

N.S.

1 1.00 1.63 0.00 0.00 4.07 0.00 0.00 -0.00

time (sec)

N/A 1.397 8.882 1.813 0.000 0.448 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 119.708 1.847 0.000 0.000 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

519 519 747 0 0 2383 0 0 -1

N.S.

1 1.00 1.44 0.00 0.00 4.59 0.00 0.00 -0.00

time (sec)

N/A 0.725 3.876 1.845 0.000 0.452 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 125.739 1.798 0.000 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 161 189 200 711 0 177 290

N.S.

1 1.00 1.42 1.67 1.77 6.29 0.00 1.57 2.57

time (sec)

N/A 0.166 0.325 2.296 0.487 0.426 0.000 0.405 1.972

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 180.002 1.889 0.000 0.000 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 180.002 1.726 0.000 0.000 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 180.001 1.697 0.000 0.000 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

356 356 365 0 349 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.98 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.283 1.973 2.430 0.461 0.000 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

260 260 273 0 261 0 0 0 -1

N.S.

1 1.00 1.05 0.00 1.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.202 1.928 2.253 0.444 0.000 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 181 0 173 0 0 0 -1

N.S.

1 1.00 1.10 0.00 1.05 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.125 1.895 2.254 0.450 0.000 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.013 11.505 2.785 0.000 0.000 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.014 13.288 2.724 0.000 0.000 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

597 597 847 0 648 0 0 0 -1

N.S.

1 1.00 1.42 0.00 1.09 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.588 9.976 180.000 0.427 0.000 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

441 441 516 0 496 0 0 0 -1

N.S.

1 1.00 1.17 0.00 1.12 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.439 8.567 180.000 0.418 0.000 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

287 287 507 0 343 0 0 0 -1

N.S.

1 1.00 1.77 0.00 1.20 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.321 10.036 180.000 0.440 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 79.471 3.665 0.000 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.018 38.398 3.691 0.000 0.000 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

897 897 905 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.944 1.704 3.855 0.000 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

673 673 716 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.755 1.335 3.906 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

449 449 488 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.588 1.302 3.859 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.023 3.355 5.105 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.014 1.071 0.000 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

2663 2663 2909 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.517 15.672 6.018 0.000 0.000 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1983 1983 2072 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.926 13.251 5.960 0.000 0.000 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1303 1303 1333 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.522 13.176 5.288 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 92.166 5.237 0.000 0.000 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.018 46.954 5.141 0.000 0.000 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 238 0 217 0 0 0 -1

N.S.

1 1.00 1.11 0.00 1.01 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.156 2.167 2.304 0.457 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 162 0 129 0 0 0 -1

N.S.

1 1.00 1.35 0.00 1.08 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.082 7.288 1.947 0.509 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 34 26 25 55 0 49 47

N.S.

1 1.00 1.31 1.00 0.96 2.12 0.00 1.88 1.81

time (sec)

N/A 0.019 0.031 2.088 0.275 0.412 0.000 0.395 1.437

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

30 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.011 15.247 3.102 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.011 16.396 2.986 0.000 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

363 363 439 0 422 0 0 0 -1

N.S.

1 1.00 1.21 0.00 1.16 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.379 6.852 180.000 0.430 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 295 0 264 0 0 0 -1

N.S.

1 1.00 1.41 0.00 1.26 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.231 5.970 180.000 0.418 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 75 0 51 271 0 76 81

N.S.

1 1.00 1.60 0.00 1.09 5.77 0.00 1.62 1.72

time (sec)

N/A 0.042 0.190 180.000 0.290 0.377 0.000 0.411 1.434

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.017 36.277 4.066 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.017 36.602 3.849 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

561 561 602 0 0 0 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.685 1.442 3.914 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

337 337 374 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.546 6.382 3.957 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 73 89 92 123 0 92 145

N.S.

1 1.00 1.16 1.41 1.46 1.95 0.00 1.46 2.30

time (sec)

N/A 0.071 0.104 4.062 0.477 0.472 0.000 0.418 1.742

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.018 4.988 4.001 0.000 0.000 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.018 4.977 3.856 0.000 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1639 1639 1682 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.831 12.716 6.015 0.000 0.000 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

959 959 934 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.253 9.952 5.214 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 175 189 200 670 0 178 319

N.S.

1 1.00 1.48 1.60 1.69 5.68 0.00 1.51 2.70

time (sec)

N/A 0.151 0.302 4.774 0.474 0.437 0.000 0.434 1.971

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.019 43.586 5.309 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.018 44.338 5.193 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.037 11.761 3.195 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 45 155 75 153 0 0 112

N.S.

1 1.00 1.00 3.44 1.67 3.40 0.00 0.00 2.49

time (sec)

N/A 0.040 0.048 4.810 0.291 0.402 0.000 0.000 4.370

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 175 326 0 480 0 0 -1

N.S.

1 1.00 1.41 2.63 0.00 3.87 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.104 5.025 0.000 0.404 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

197 197 0 0 0 807 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 4.10 0.00 0.00 -0.01

time (sec)

N/A 0.129 19.082 2.177 0.000 0.441 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 87 271 109 744 0 0 160

N.S.

1 1.00 1.09 3.39 1.36 9.30 0.00 0.00 2.00

time (sec)

N/A 0.074 0.260 4.500 0.301 0.459 0.000 0.000 1.608

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

198 198 278 0 0 2391 0 0 -1

N.S.

1 1.00 1.40 0.00 0.00 12.08 0.00 0.00 -0.01

time (sec)

N/A 0.149 3.889 2.119 0.000 0.435 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

344 344 0 0 0 4401 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 12.79 0.00 0.00 -0.00

time (sec)

N/A 0.283 68.465 1.687 0.000 0.437 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 84 319 0 218 0 0 410

N.S.

1 1.00 1.02 3.89 0.00 2.66 0.00 0.00 5.00

time (sec)

N/A 0.102 0.126 4.315 0.000 0.514 0.000 0.000 8.664

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 1181 577 0 977 0 0 -1

N.S.

1 1.00 4.06 1.98 0.00 3.36 0.00 0.00 -0.00

time (sec)

N/A 0.394 3.287 3.985 0.000 0.473 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

428 428 0 0 0 1495 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 3.49 0.00 0.00 -0.00

time (sec)

N/A 0.605 4.665 2.045 0.000 0.485 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 167 490 0 1552 0 0 1449

N.S.

1 1.00 1.12 3.29 0.00 10.42 0.00 0.00 9.72

time (sec)

N/A 0.210 0.412 4.961 0.000 0.391 0.000 0.000 19.088

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

681 681 3259 0 0 7404 0 0 -1

N.S.

1 1.00 4.79 0.00 0.00 10.87 0.00 0.00 -0.00

time (sec)

N/A 0.861 25.161 2.447 0.000 0.493 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1218 1218 0 0 0 13355 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 10.96 0.00 0.00 -0.00

time (sec)

N/A 1.471 94.535 1.898 0.000 0.567 0.000 0.000 0.000

[front] [up]